case class Cont[R, A](run: (A => R) => R)